dec(foo 114514)